Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
281	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 1 Source-to-Source Architectur Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Programming language semantics Computer science Object-oriented programming Component-based software engineering Denotational semantics Petri net Operational semantics Theoretical computer science Software engineering Models of computation
282	Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems CML Definition 3 – Denotational Semantics Deliverable Number: D23.4a Version: 0.7 Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2014-01-16 05:35:54 Programming language semantics Logic in computer science Models of computation Formal methods Denotational semantics Unifying Theories of Programming Hoare logic Semantics Operational semantics Theoretical computer science Computer science Applied mathematics
283	A core language for fuzzy answer set programming Jeroen Janssena,1,∗, Steven Schockaertb,2,∗∗, Dirk Vermeira,∗∗, Martine De Cockb,∗∗ a Department of Computer Science, Vrije Universiteit Brussel Pleinlaan 2, Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 05:38:49 Logic programming Logic in computer science Fuzzy logic Functions and mappings Stable model semantics Answer set programming Negation Combinatory logic Closure operator Mathematical logic Mathematics Logic
284	A Principled, Complete, and Efficient Representation of C++ Gabriel Dos Reis and Bjarne Stroustrup Abstract. We present a systematic representation of C++, called IPR, for complete semantic analysis and semantics-based p Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:46 C++ Data types Type theory Cross-platform software Generic programming C++11 Type safety Decltype Type system Software engineering Computing Programming language theory
285	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Greg Morrisett Harvard University Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Models of computation Programming language semantics Formal methods Denotational semantics Separation logic Hoare logic Lambda calculus Mathematical logic Theoretical computer science Logic
286	An Experiment in Literate Programming Using sgml and dsssl Revision[removed]Mark B. Wroth December 31, 1999 Add to Reading List Source URL: www.west-point.org Language: English - Date: 2001-11-23 12:08:11 ISO standards Typesetting Literate programming Standard Generalized Markup Language Document Style Semantics and Specification Language DocBook WEB HTML Troff Computing Markup languages Technical communication
287	DocBook-Based Literate Programming 1.3 Mark Wroth April 7, 2001 Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2001-04-10 16:55:27 DocBook Standard Generalized Markup Language Literate programming Document Style Semantics and Specification Language HTML XML WEB LaTeX Typesetting Computing Markup languages Technical communication
288	Once, Weakly: Typelist Meta-Algorithm Implementation Tricks Typelist Meta-Algorithm Implementation Tricks In the “Once, Weakly” of 9 September 2003 we looked at the concept of typelist metaalgorithms. These are algor Add to Reading List Source URL: www.semantics.org Language: English - Date: 2013-04-08 13:05:11 Computer programming C programming language Typedef Typename Struct C Sizeof Template Union C++ Software engineering Computing
289	1 To appear in J. Functional Programming A Monadic Framework for Delimited Continuations Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2006-09-20 01:15:04 Continuations Control flow Functional programming Delimited continuation Programming language semantics Logic in computer science Call-with-current-continuation Operational semantics Monad Software engineering Computing Computer programming
290	Once, Weakly: Type Structures Type Structures This installment discusses the concept of “type-structures” as a compile-time analog of runtime data structures, and demonstrates how to construct and manipulate simple l Add to Reading List Source URL: www.semantics.org Language: English - Date: 2013-04-08 13:05:06 C++ C programming language Data types Type theory Procedural programming languages Typedef Struct C Typename Software engineering Computing Computer programming

UPDATE